Science of Logic

Results: 5317



#Item
781

Under consideration for publication in Math. Struct. in Comp. Science Classical Linear Logic of Implications MASAHITO HASEGAWA Research Institute for Mathematical Sciences, Kyoto University, KyotoJapan and

Add to Reading List

Source URL: www.kurims.kyoto-u.ac.jp

- Date: 2004-09-14 01:29:11
    782

    BRICS Basic Research in Computer Science BRICS RS-97-9 Henriksen & Thiagarajan: A Product Version of Dynamic Linear Time Temporal Logic A Product Version of

    Add to Reading List

    Source URL: www.brics.dk

    Language: English - Date: 1997-06-05 09:23:06
      783

      Continuity and Geometric Logic Steven Vickers1 School of Computer Science, University of Birmingham, Birmingham, B15 2TT. Abstract

      Add to Reading List

      Source URL: www.cs.bham.ac.uk

      Language: English - Date: 2013-07-16 13:15:11
        784

        From UML and OCL to Relational Logic and Back Mirco Kuhlmann and Martin Gogolla University of Bremen, Computer Science Department Database Systems Group, DBremen {mk,gogolla}@informatik.uni-bremen.de

        Add to Reading List

        Source URL: www.db.informatik.uni-bremen.de

        Language: English - Date: 2013-01-09 11:06:58
          785

          Probability Theory: The Logic of Science by E. T. Jaynes Wayman Crow Professor of Physics

          Add to Reading List

          Source URL: omega.albany.edu

          Language: English - Date: 2005-09-22 15:53:39
            786

            FUZZY LOGIC SYSTEMS: ORIGIN, CONCEPTS, AND TRENDS Lotfi A. Zadeh Computer Science Division Department of EECS UC Berkeley

            Add to Reading List

            Source URL: www.wi-consortium.org

            Language: English - Date: 2004-11-25 03:18:42
              787

              Journal of Logic and Computation Advance Access published July 17, 2013 Universality in two dimensions NACHUM DERSHOWITZ, School of Computer Science, Tel Aviv University, Ramat Aviv 69978, Israel. E-mail: nachum.dershow

              Add to Reading List

              Source URL: who.rocq.inria.fr

              Language: English - Date: 2013-07-30 08:21:00
                788

                CURRICULUM VITAE Penelope Maddy Department of Logic and Philosophy of Science University of California at Irvine Irvine, CA

                Add to Reading List

                Source URL: www.lps.uci.edu

                Language: English - Date: 2014-12-08 20:47:16
                  789

                  The Semantics and Proof Theory of Linear Logic Arnon Avron Department of Computer Science School of Mathematical Sciences Tel-Aviv University

                  Add to Reading List

                  Source URL: www.cs.tau.ac.il

                  Language: English - Date: 2004-01-21 05:20:53
                    790

                    BDD-Based Decision Procedures for the Modal Logic K 1 Guoqiang Pan* — Ulrike Sattler** — Moshe Y. Vardi*** * Department of Computer Science, Rice University, Houston, Texas, 77005, USA.

                    Add to Reading List

                    Source URL: www.cs.rice.edu

                    Language: English - Date: 2006-02-24 18:37:42
                      UPDATE